theorem proving machine
定理证明机
热门查询
- duchy n. 公国；公爵领地；直辖领地
- oiler n. 油商；注油壶；涂油者
- aptitude n. 天资；自然倾向；适宜
- essay n. 散文；试图；随笔 vt. 尝试；对…做试验
- attenuation n. [物] 衰减；变薄；稀释
- eaglet n. 小鹰
- LDP abbr. leadership 领导; ladyship 贵妇人的身份; lordship 爵爷; loan deficiency payment 借款不足报酬
- yarrow n. 蓍草 n. (Yarrow)人名；(英)亚罗
- dance floor n. （旅馆、餐厅等供客人跳舞的）舞场 [网络] 舞池；舞蹈地板；舞池板
- fool n. 傻瓜；愚人；受骗者 vt. 欺骗，愚弄 adj. 傻的 vi. 欺骗；开玩笑；戏弄
- baldy n. 秃子 n. (Baldy)人名；(法)巴尔迪 adj. 秃的；秃顶的
- preheat vt. 预先加热
- one-sided adj. 片面的，单方面的；不公正的
- erratic n. 漂泊无定的人；古怪的人 adj. 不稳定的；古怪的
- spite n. 不顾；恶意；怨恨 vt. 刁难；使恼怒
- cognition n. 认识；知识；认识能力
- trailing n. 拖尾；泥浆彩饰 v. 尾随（trail的ing形式） adj. 后面的；拖尾的；牵引的；被拖动的；蔓延的
- vue [计]= Vista User's Exchange,Vista用户交换机
- overworked adj. [劳经] 工作过度的；劳累过度的 v. [劳经] 使工作过度；使过分劳累（overwork的过去分词）
- PCW abbr. postconception week 妊娠后周数
